A Logic for a Coordination Model with Multiple Spaces
نویسندگان
چکیده
This paper introduces and studies PoliS, a coordination model to specify the software architecture of distributed applications. PoliS is based on multiple dataspaces containing both data and programs. We deene PoliS syntax and semantics, and show how it can be used as a formal notation for specifying open systems. We adopt TLA logic to reason on PoliS speciications. Finally, we discuss an application eld for PoliS, namely we use it to specify and reason on software architectures of some simple distributed systems.
منابع مشابه
Designing a Conceptual Pattern to Integrate Urban Spaces Network with the View of “New Urbanism”, Using F’ANP Model, Case Study: District 6 of Tehran
In response to the failure of modernist approach in the new urban ideas, attention to the public spaces in cities has become as a basic necessity in terms of planning and urban design. Study on the concept of urban space as a structural element in the cities, is developing and expanding. Multiple authors have done many studies in this area, and the results indicate that urban areas play a key r...
متن کاملMultiple-organizational coordination planning for humanitarian relief operations
In humanitarian relief operations (HRO), due to the excessive number of relief organizations, multiple organizational coordination is a demanding and complicated task. Considering such a problem, this paper proposes a two-phase mechanism to coordinate multiple heterogeneous relief organizations in a decentralized HRO logistics network. To address such a problem, first a bi-level mixed integer l...
متن کاملExploring the Coordination Space with LO
We introduce hereCOOLL, a coordination language embedding a concept of multiple tuple spaces. COOLL extends LO, an object oriented language based on the theoretic background of Linear Logic, with new coordination mechanisms. Our goal is to explore the new coordination mechanisms in the theoretical framework offered by Linear Logic, and obtain a new more expressive and formally based coordinatio...
متن کاملPresenting a Conceptual Model for Integrating Urban Space Network with \"Living Community\" Approach*
Undoubtedly, public spaces can be considered as an essential factor, which could contribute to urban arrangement, create and maintain a strong local center and enhance the quality of superior environment and the sense of citizenship. Moreover, integrity has always been the most basic structural qualities and one of the key principles of cities. Integrated urban spaces exhibit the integrated str...
متن کاملCoordination Approach to Find Best Defense Decision with Multiple Possibilities among Robocup Soccer Simulation Team
In 2D Soccer Simulation league, agents will decide based on information and data in their model. Effective decisions need to have world model information without any noise and missing data; however, there are few solutions to omit noise in world model data; so we should find efficient ways to reduce the effect of noise when making decisions. In this article we evaluate some simple solutions whe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 31 شماره
صفحات -
تاریخ انتشار 1998